Unifying Predicate Cleft Constructions

Unifying predicate cleft constructions

The following properties characterize the contrastive verb focus construction in Vata. Morphology: the clause contains two copies of the verb. The verb in initial position carries special morphology associated with the construction (realized in Vata as a ‘construction’ tone). The verb in the clause looks and acts like any regular V. Order: The contrastively focused verb occurs in clause initial...

Unifying Büchi Complementation Constructions

Complementation of Büchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation. The first is the rank-based approach of Kupferman and Vardi, which operates over a dag that embodies all runs of the automaton. This approach is based on the observation that the vertices of th...

Constructions of Fully Secure Predicate Encryption Schemes

1 Evidence on Long Head Movement in Mandarin Predicate Cleft

Modeling Verb Order in Complex Multi-Verbal Predicate Constructions

1. Introduction) Verb order is an important issue in complex multi-verbal predicate constructions, for example, serial verb constructions (SVCs). With more than one verb in the construction, how are the verbs sequenced? What constraints are at play to govern their order? In this paper, we attempt to investigate several constraints that are related to the issue. We also propose a different ranki...